課程資訊
課程名稱
 反實在論與形式邏輯
ANTIREALISM AND FORMAL LOGIC 
開課學期
 96-1 
授課對象
 文學院  哲學研究所  
授課教師
 楊金穆 
課號
 Phl7715 
課程識別碼
 124EM4250 
班次
  
學分
 3 
全/半年
 半年 
必/選修
 選修 
上課時間
 星期五6,7,8(13:20~16:20) 
上課地點
 哲201 
備註
 本課程以英語授課。
總人數上限：20人 
  
課程簡介影片
 
核心能力關聯
 核心能力與課程規劃關聯圖
課程大綱
為確保您我的權利,請尊重智慧財產權及不得非法影印
課程概述

當代形式邏輯的發展（尤其在早期階段）很大程度受到哲學上實在論的影響：在（標準的）述詞邏輯（有時也稱做「古典邏輯」）中，我們很容易發現其中預設了實在論的立場。值得注意的是，當實在論在二十世紀統治邏輯研究的同時，在意義理論的討論中實在論也扮演著主導的角色。而且，當50年代非古典邏輯大量興起的時候，反實在論也開始在意義理論的討論中受到重視。 

課程目標
 在這門課程中，我將討論實在論如何透過Frege，Russell，Gödel和Tarski等人的作品而（在哲學和邏輯中）佔有主導性的地位。另一方面，我也將討論反實在論如何在實在論的氛圍中脫穎而出。學生需要閱\讀有關方面的經典文章，並且對這些文章做摘要。 
課程要求
  
預期每週課後學習時數
  
Office Hours
  
指定閱讀
  
參考書目
 Barwise, Jan (1977), Handbook of Mathematical Logic, Amsterdam: North-Holland.
Benacerraf, Paul and Putnam, Hilary eds. (1983), Philosophy of Mathematics, 2rd edition (1st edition, 1964), Cambridge: Cambridge University Press.
Carnap, Rudolf (1931/[1983]), ‘The logicist foundations of mathematics’, original German version in Erkenntnis (1931): 91-121; English translation by Erna Putnam and Gerald J. Massey, in Benacerraf and Putnam (1983), 41-52.
Dale, H. G. and Oliveri, G. eds. (1998), Truth in Mathematics, Oxford: Clarendon Press.
Frege, Gottlob (1879), Begriffsschrift (Halle, 1879), English translation Conceptual Notation and Related Articles, translated and edited with a biography and introduction by Terrel Ward Bynum, Oxford: Clarenden Press.
----- (1884). Die Grundlagen der Arithmetik, trans. J. L. Austin as The Foundations of Arithmetic (Evanston, Ill: Northwestern University Press, 1968).
Gentzen, D. (1935/1969), ‘Untersuchungen er das logische schliessen’, Mathematische Zeitschrift, vol. 39, (1935): 176-210, 405-31; English translation in G. Gentzen, Collected Papers, ed. M. E. Szabo, Amsterdam, 1969, 68-131.
Gödel, Kurt (1930), ‘The completeness of the axioms of the functional calculus of logic’, originally appeared under the title ‘Die Vollständigteit des logischen Funktionenkalküls’, Monatshefte für Mathematik und Physik, vol. 37 (1930), 349-360; reprinted in Gödel (1986), 103-123.
----- (1931), ‘On formally undecidable propositions of Principia mathematica and related system I’, originally appeared under the title ‘Über formal unentscheidbare Sätze der Principia mathematica und verwandter System I’ Monatshefte für Mathematik und Physik, vol. 38 (1931), 173-198; reprinted in Gödel (1986), 145-195.
Henkin, L. (1949). ‘The completeness of the first-order functional calculus’, Journal of Symbolic Logic 14, 159-66; reprinted in The Philosophy of Mathematics. J. Hintikka ed. (1969). Oxford: Oxford University Press, 42-50.
Heyting, Arend (1931/[1983]), ‘The intuitionist foundations of mathematics’, original German version in Erkenntnis (1931): 91-121; English translation by Erna Putnam and Gerald J. Massey, in Benacerraf and Putnam (1983), 52-63.
Russell, Bertrand (1918), ‘The philosophy of logical atomism’, The Monist 28: 495-527; 29: 32-63, 190-222, 345-80; reprinted in Russell (1956), 175-281.
Tarski, A. (1935/1956), ‘The concept of truth in formalized languages’, originally in Polish (1933) and German (1935), English translation of German version in Logic, Semantics, and Metamathematics, J. Woodger (ed.), Oxford: Clarendon, 1956, 158-256.
von Neumann, Johann (1931/[1983]), ‘The formalist foundations of mathematics’, in Benacerraf and Putnam (1983), 52-63.
 
評量方式
(僅供參考)
  
No.
項目
百分比
說明
1. 
 課堂參與 
20% 
  
2. 
 每週作業 
20% 
  
3. 
 期中報告 
20% 
  
4. 
 期末報告 
40% 
  
 
課程進度
週次
日期
單元主題
第1週
 9/21  介紹：二十世紀英美哲學的一些特質 
第2週
 9/28  Begriffsschrift (1879)之的邏輯的簡略介紹 
第3週
 10/05  Frege以及形式邏輯的興起 
第4週
 10/12  Frege (1884) The Foundations of Arithmetic Parts pp.51-58 
第5週
 10/19  Frege (1884) The Foundations of Arithmetic Part II pp.58-119 
第6週
 10/26  Russell的實在論主張以及自然主義的根源 
第7週
 11/02  Russell (1918) ‘The philosophy of logical atomism’ 
第8週
 11/09  Gödel不完備性定理以及反實在論作為其解答 
第9週
 11/16  期中考 （繳交一篇約12頁（兩倍行高）的報告） 
第10週
 11/23  Gödel (1931), ‘On formally undecidable propositions of Principia mathematica and related system I’ 
第11週
 11/30  Carnap (1931/[1983]), ‘The logicist foundations of mathematics’
Heyting (1931/[1983]), ‘The intuitionist foundations of mathematics’
von Neumann (1931/[1983]), ‘The formalist foundations of mathematics’
 
第12週
 12/07  Tarski的形式語言於形式語意學 
第13週
 12/14  Tarski (1935/1956), ‘The concept of truth in formalized languages’ 
第14週
 12/21  Gentzen (1935/1969), ‘Untersuchungen er das logische schliessen’ 
第15週
 12/28  Henkin, L. (1949). ‘The completeness of the first-order functional calculus’ 
第16週
 1/04  二十世紀後期意義理論中反實在論的發展 
第17週
 1/11  二十世紀後期非古典邏輯的發展 
第18週
 1/18  期末考（繳交一篇約20頁（兩倍行高）的報告）